Operating system kernels

Results: 132



#Item
41L4 microkernel family / Kernel / Linux kernel / Capability-based security / Thread / Operating system / Operating system kernels / Computer architecture / Computing / Software

A Brief Overview on L4.Sec

Add to Reading List

Source URL: os.inf.tu-dresden.de

Language: English - Date: 2005-10-19 09:30:31
42Monolithic kernels / Cross-platform software / Linux kernel / Embeddable Linux Kernel Subset / Debian / Operating system / GNU/Linux naming controversy / Book:Open Source / Software / Computer architecture / Linux

The Linux FAQ David C. Merrill <> 2003−05−19 Revision History

Add to Reading List

Source URL: oss.sgi.com

Language: English - Date: 2003-06-17 11:54:44
43Linux kernel / Linux / Monolithic kernels / Operating system / Loadable kernel module / Vmlinux / NTFS / File system / UClibc / Software / Computing / Computer architecture

Embedded Linux For BCT RE1 User Guide

Add to Reading List

Source URL: www.bluechiptechnology.co.uk

Language: English - Date: 2010-08-09 11:29:55
44Monolithic kernels / Embedded operating systems / FreeBSD / NetBSD / Linux kernel / Buffer overflow / Berkeley Software Distribution / Kernel / Operating system / Computing / Software / System software

Binding the Daemon FreeBSD Kernel Stack and Heap Exploitation Patroklos (argp) Argyroudis

Add to Reading List

Source URL: media.blackhat.com

Language: English - Date: 2012-04-07 14:42:30
45Parallel computing / Operating system kernels / Kernel / Scheduling / Thread / Linux kernel / GPGPU / Mach / Virtual machine / Computer architecture / Computing / Software

Harmony Runtime Techniques for Dynamic Concurrency Inference, Resource Constrained Hierarchical Scheduling, and Online Optimization in Heterogeneous Multiprocessor Systems Gregory Diamos and Sudhakar Yalamanchili Georgia

Add to Reading List

Source URL: www.gdiamos.net

Language: English - Date: 2011-06-30 03:27:08
46Monolithic kernels / Concurrent computing / Thread / Kernel / Operating system / Linux / Architecture of Windows NT / Hybrid kernel / Computing / Software / Computer architecture

Corey: An Operating System for Many Cores Silas Boyd-Wickizer (MIT), Haibo Chen, Rong Chen, Yandong Mao (Fudan University), Frans Kaashoek, Robert Morris, Aleksey Pesterev (MIT), Lex Stein, Ming Wu (Microsoft Research As

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2008-12-10 02:45:54
47Function / Microkernel / Calculus / State space / Linux kernel / Computer architecture / Mathematics / Software

Noninterference for Operating System Kernels Toby Murray1,2 , Daniel Matichuk1 , Matthew Brassil1 , Peter Gammie1 and Gerwin Klein1,2 1 2

Add to Reading List

Source URL: ssrg.nicta.com.au

Language: English - Date: 2013-10-20 22:09:39
48Linux / Monolithic kernels / Cross-platform software / Computing platforms / Application programming interfaces / Kernel / Unix / Linux kernel / Operating system / Software / Computing / System software

BIBLIOGRAPHY Most of the information in this book has been extracted from the kernel sources, which are the best documentation about the Linux kernel. Kernel sources can be retrieved from hundreds of FTP sites around th

Add to Reading List

Source URL: www.xml.com

Language: English - Date: 2001-07-12 23:08:32
49Linux kernel / Linux / Monolithic kernels / FreeBSD / Loadable kernel module / Kernel / Architecture of Windows NT / Operating system / Device driver / Computer architecture / Computing / Software

CHAPTER TWO BUILDING AND RUNNING MODULES It’s high time now to begin programming. This chapter introduces all the essential

Add to Reading List

Source URL: www.xml.com

Language: English - Date: 2001-07-12 23:09:09
50Special purpose file systems / Linux / Monolithic kernels / Unix / Computing platforms / Loadable kernel module / Kernel / Linux kernel / Operating system / Computer architecture / Computing / Software

Appendix K Real time control system K.1

Add to Reading List

Source URL: www.q12.org

Language: English - Date: 2002-03-13 22:45:50
UPDATE